| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16c.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP8W/34DT74E |
| Repositório | sid.inpe.br/mtc-m18@80/2008/12.19.13.59 |
| Última Atualização | 2009:06.25.14.41.56 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/mtc-m18@80/2008/12.19.13.59.57 |
| Última Atualização dos Metadados | 2018:06.04.04.06.11 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| Chave de Citação | RibeiroVijSanFerAra:2008:UtJSGe |
| Título | Utilizando o J-SDL para a geração automática de casos de testes a partir de especificações em SDL  |
| Ano | 2008 |
| Data de Acesso | 19 maio 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 279 KiB |
| 2. Contextualização | |
| Autor | 1 Ribeiro, J. R. 2 Vijaykumar, Nandamudi Lankalapalli 3 Santiago Junior, V. A. 4 Ferreira, F. F. 5 Arantes, A. O. |
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU |
| Grupo | 1 2 LAC-CTE-INPE-MCT-BR |
| Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Nome do Evento | Seminário de Tecnologia da Informação Aplicada à Logística, (LOGIN). |
| Localização do Evento | Santos, SP |
| Data | 19 jun. |
| Histórico (UTC) | 2009-06-25 14:41:57 :: simone -> administrator :: 2018-06-04 04:06:11 :: administrator -> marciana :: 2008 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Resumo | Testing exposes defects before the software is launched in the market. Several techniques are available to automatically generate test sequences from formal specifications. The objective of the work described in this paper is to present the feasibility of automatically generating test sequences from systems specified formally in SDL. A framework, J-SDL, has been developed for this purpose that simulates the behavior of the specified system by stimulating events to change system states to generate test cases, based on algorithms such as T, UIO, DS, W and Switch Cover, in a straightforward manner without the necessity of generating a Finite State Machine. RESUMO: A finalidade dos testes de software é expor defeitos latentes em um sistema antes que o mesmo seja colocado em produção. Existem técnicas que permitem a geração automática de casos de teste a partir de especificações formais. O objetivo deste trabalho é apresentar a viabilidade de uma abordagem para geração automática de casos de teste a partir de especificações em SDL, utilizando um framework denominado J-SDL, que permite a simulação do comportamento de sistemas, em termos de mudança de estados e a derivação de casos de teste de forma direta (dispensando a transformação para maquina de estados finitos), a partir de algoritmos de exploração de estados como T, UIO, DS, W, Switch Cover, entre outros. |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Utilizando o J-SDL... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/34DT74E |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/34DT74E |
| Arquivo Alvo | Artigo-Vijaykumar.pdf |
| Grupo de Usuários | administrator simone administrator |
| Visibilidade | shown |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label language lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |